Aspects of topoi: Corrigenda and acknowledgements
نویسندگان
چکیده
منابع مشابه
Sheaf representation for topoi
It is shown that every (small) topos is equivalent to the category of global sections of a sheaf of so-called hyperlocal topoi, improving on a result of Lambek & Moerdijk. It follows that every boolean topos is equivalent to the global sections of a sheaf of well-pointed topoi. Completeness theorems for higher-order logic result as corollaries. The main result of this paper is the following. Th...
متن کاملCorrigenda/Erratum
1. Nesselmann C, Ma N, Bieback K, Wagner W, Ho A, Konttinen YT, Zhang H, Hinescu ME, Steinhoff G. Mesenchymal stem cells and cardiac repair J. Cell. Mol. Med. Vol 12, No 5B, 2008 pp. 1795–1810. 2. Roodveldt C, Christodoulou J, Dobson CM. Immunological features of (alpha sign)-synuclein in Parkinson’s disease J. Cell. Mol. Med. Vol 12, No 5B, 2008 pp. 1820–1829. Corrigenda/Erratum J. Cell. Mol. ...
متن کاملNumerology in Topoi
This paper studies numerals (see definition that immediately follows), natural numbers objects and, more generally, free actions, in a topos. A pre-numeral is a poset with a constant, 0, and a unary operation, s, such that: PN1) x ≤ y ⇒ sx ≤ sy PN2) x ≤ sx A numeral is a “minimal” pre-numeral, that is, one such that any s-invariant subobject containing 0 is entire. 1. Lemma. A pre-numeral is a ...
متن کاملRelativized Grothendieck topoi
In this paper we define a notion of relativization for higher order logic. We then show that there is a higher order theory of Grothendieck topoi such that all Grothendieck topoi relativizes to all models of set theory with choice.
متن کاملKontinuumshypothese und Topoi
Da man die Menge der reellen Zahlen auch allgemein als Kontinuum beschreibt, wurde Cantors Behauptung als Kontinuumshypothese bekannt. Diese erlangte schnell Bedeutung in der Mathematik, so stand sie an erster Stelle der berühmten 23 mathematischen Probleme, die David Hilbert im Jahre 1900 in Paris vortrug. Inzwischen ist das Problem, wie allgemein bekannt sein dürfte, gelöst. Allerdings auf ei...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 1972
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s0004972700045408